Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 50 of 118 (0.183 secs)
You searched for: subject:"recursive"
[1] 2 3     Next    Last
[texts]Digital Filters - Martin H. Ackroyd
Martin H. Ackroyd Digital Filters Butterworth & Co. (Publishers) Ltd. 1973 Acrobat 7 Pdf 12.4 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Electronics; Computers; Recursive Filter; Non-Recursive Filter
Downloads: 320
[texts]Orderings for term-rewriting systems (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.987) - Dershowitz, Nachum
"UIUCDCS-R-79-987"
Keywords: Computer programs; Recursive functions
Downloads: 24
[texts]Well-founded orderings for proving termination of systems of rewrite rules (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 932) - Plaisted, David A
Bibliography: p. 34
Keywords: Computer programs; Recursive programming
Downloads: 28
[texts]Die Iterationen; ein Beitrag zur Wahrscheinlichkeitstheorie - Bortkiewicz, Ladislaus von, 1868-1931
14
Keywords: Probabilities; Recursive functions
Downloads: 309
[texts]mit :: ai :: aim :: AIM-055
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-055
Keywords: recursive; primitive; scanning; functions; defined; document; equation; definitions; schema; domains; primitive recursive; recursive definition; recursive definitions; recursive functions; scanning agent
Downloads: 22
[texts]Computable functions - Williams, Louis Francis, 1932-
Manuscript copy
Keywords: Recursive functions; Electronic digital computers
Downloads: 119
[texts]mit :: lcs :: tr :: MIT-LCS-TR-099
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-099
Keywords: recursive; theorem; complexity; function; comp; proof; sets; lemma; set; primitive; tentative commitment; turing machine; primitive recursive; recursive function; recursive set; recursive sets; partial recursive; relative complexity; lower bound; total running
Downloads: 17
[texts]mit :: lcs :: tr :: MIT-LCS-TR-131
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-131
Keywords: recursive; function; theorem; formula; definition; predicate; deduction; theory; functions; formulas; primitive recursive; second order; order logic; recursive functions; recursive definition; recursive function; primitive recursion; partial recursive; problem set; set theory
Downloads: 20
[texts]Recurse : a Plato lesson on recursion (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 642) - Whitlock, Lawrence Robert
Bibliography: p. 62
Keywords: PLATO (Electronic computer system); Recursive programming
Downloads: 42
[texts]Recursive Civilization - john ellis
Recursive civilization is one where the past, present and future interact. It is a possible scenario in the run up to a technological singularity, mentioned in Quantum Archaeology
Keywords: Recursive; civilization; time; singularity; archaeology; archeology
Downloads: 112
[texts]mit :: ai :: aim :: AIM-011
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-011
Keywords: vector; functions; scanning; function; components; program; subblock; recursive; agent; computation; scanning agent; recursive functions
Downloads: 26
[texts]mit :: ai :: aim :: AIM-012
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-012
Keywords: program; recursive; lisp; function; functions; programs; computation; vector; auxiliary; scanning; flow chart; recursive function; recursive functions; program feature; machine language; lisp program; scanning agent
Downloads: 38
[texts]mit :: ai :: aim :: AIM-309
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-309
Keywords: computation; ids; rewritten; occurences; ingredients; recursive; strokes; paths; axiom; proofs; intelligence laboratory; evaluation paths; computation paths; recursive arithmetic; computation path; primitive recursive; substitution rule; artificial intelligence
Downloads: 22
[texts]mit :: ai :: aim :: AIM-201
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-201
Keywords: schema; recursive; schemas; function; equivalence; theorem; predicate; program; interpretation; proof; basic function; partial function; recursive schema; predicate symbols; program schema; free interpretation; recursive schemas; program schemas; function symbols
Downloads: 20
[texts]dg :: software :: diag :: 068-001072-01 array-processor-exerciser-h
From the bitsavers.org collection, a scanned-in computer-related document.dg :: software :: diag :: 068-001072-01 array-processor-exerciser-h
Keywords: cfl; uju; jujm; ooco; recursive; aoo; rsi; tfl
Downloads: 24
[texts]mit :: lcs :: tr :: MIT-LCS-TR-235
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-235
Keywords: recursive; probability; sequence; sequences; independence; theorem; random; theory; properties; turing; constant factor; total recursive; probability theory; recursive measure; turing degrees; independence principle; random process; second order; probability distribution; recursive function
Downloads: 32
[texts]dg :: software :: diag :: 068-001073-01 array-processor-exerciser-i
From the bitsavers.org collection, a scanned-in computer-related document.dg :: software :: diag :: 068-001073-01 array-processor-exerciser-i
Keywords: lij; isj; ffi; laj; recursive; csc; lsj; tfj; taj; juj
Downloads: 18
[texts]mit :: lcs :: tr :: MIT-LCS-TR-110
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-110
Keywords: recursive; functions; theorem; hierarchy; subrecursive; hierarchies; function; primitive; elementary; honesty; fur mathematische; subrecursive classes; primitive recursive; logik und; recursive functions; complexity classes; ordinal recursion; recursive function; honesty procedure; turing machine
Downloads: 20
[audio]Midnight Moodswings & Seiswork - The Dopamine Recursive GHGR5113 - Midnight Moodswings & Seiswork
Midnight Moodswings & SeisworkReleased By GodHatesGodRecordsStream Audio Release
Keywords: Midnight Moodswings & Seiswork; The Dopamine Recursive; Ambient; Eclectronic; GHGR5113
Downloads: 9
[texts]stanford :: sail :: sailMemoAbstr 159-196 May73
From the bitsavers.org collection, a scanned-in computer-related document.stanford :: sail :: sailMemoAbstr 159-196 May73
Keywords: recursive; program; semantic; schemas; conceptual; fixpoints; logic; computer; transform; programs; total complexity; programming languages; artificial intelligence; interlingual representation; hadamard transform; binary relational; linear recursive; natural language; recursive definitions; partial predicate
Downloads: 12
[texts]mit :: lcs :: tr :: MIT-LCS-TR-181
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-181
Keywords: petri; tokens; places; polynomial; recursive; firing; bounded; reachability; net; finite; reachability set; designated places; petri nets; primitive recursive; petri net; reachability sets; recursive function; tenth problem; firing sequence; control places
Downloads: 30
[texts]mit :: lcs :: tm :: MIT-LCS-TM-532
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-532
Keywords: type; principal; typing; recursive; variables; algorithm; inference; typings; system; rank; typing recursive; type variable; type inference; type variables; principal typing; recursive definitions; type environment; type system; principal typings; subtype satisfaction
Downloads: 24
[texts]BSTJ 52: 1. January 1973: Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.)
Bell System Technical Journal, 52: 1. January 1973 pp 9-33. Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.)
Keywords: buffer; recursive; matrix; burst; probability; recursion; formulas; formula; probabilities; markov; unit circle; transition matrix; recursive formula; finite buffer; system technical; weighted sum; recursive formulas; burst length; bell system; remaining columns
Downloads: 26
[texts]BSTJ 61: 1. January 1982: Fast Recursive Estimation Using the Lattice Structure. (Shichor, E.)
Bell System Technical Journal, 61: 1. January 1982 pp 97-115. Fast Recursive Estimation Using the Lattice Structure. (Shichor, E.)
Keywords: lattice; algorithm; optimal; adaptive; recursive; kalman; estimation; estimator; update; fast; optimal estimator; input data; recursive estimation; fast recursive; fast kalman; bell system; update relations; system technical; time update; lattice algorithm
Downloads: 28
[texts]mit :: lcs :: tr :: MIT-LCS-TR-458
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-458
Keywords: type; looping; lemma; proof; types; combinator; function; dependent; reduction; recursive; normal form; looping combinators; looping combinator; dependent pair; ordered set; reduction system; recursive function; function types; dependent function; recursive functions
Downloads: 20
[texts]mit :: ai :: aim :: AIM-207
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-207
Keywords: schema; recursive; schemas; equivalent; realized; program; realizes; function; theta; phi; uninterpreted function; parallel schemas; recursive schema; control structure; protocol tree; schema automaton; finite number; program schema; realizes phi; recursive function
Downloads: 44
[texts]mit :: ai :: aim :: AIM-031
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-031
Keywords: functions; defined; function; computable; conditional; canonical; computation; recursive; variables; expressions; turing machines; computable functions; recursive function; conditional form; conditional expressions; canonical form; order predicate; recursive functions; symbolic expressions; recursion induction
Downloads: 26
[texts]mit :: ai :: aim :: AITR-754
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-754
Keywords: logarithmic; recursion; linear; joint; torques; manipulator; vector; recursive; backward; node; motor torques; artificial intelligence; linear recursive; forward recursion; backward recursion; combining form; relational parameters; inverse dynamics; logarithmic recursive; time required
Downloads: 47
[texts]mit :: ai :: aim :: AIM-464
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-464
Keywords: schema; recursive; schemas; computation; function; interpretation; predicate; program; proof; equivalence; mac conference; concurrent systems; program schema; project mac; recursive schemas; parallel computation; predicate symbols; program schemas; recursive schema; acm conference
Downloads: 28
[texts]mit :: ai :: aim :: AIM-008
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-008
Keywords: functions; defined; expression; function; expressions; combine; recursive; turing; lisp; conditional; atomic symbols; advice taker; turing machine; elementary functions; conditional expression; symbolic expressions; lisp system; linear lisp; recursive functions; recursive function
Downloads: 25
[texts]dec :: tech reports :: SRC-RR-95
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-95
Keywords: type; object; semantics; proof; proposition; recursive; rules; induction; expressions; types; object type; type expressions; type rules; object result; denotational semantics; object types; induction hypothesis; distinct labels; recursive types; recursive record
[texts]dec :: tech reports :: SRC-RR-62
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-62
Keywords: recursive; type; types; subtyping; algorithm; tree; execution; induction; variables; proof; recursive types; execution tree; induction hypothesis; successful execution; recursive type; initial goal; type equivalence; tree ordering; subtyping rules; canonical form
[image]Ventrella Fractal Curve Number 86 - Jeffrey Ventrella
This fractal curve is featured in the book "Brainfilling Curves" (fractalcurves.com). It has the overall shape of the Ter-Dragon. The curve was discovered by Jeffrey Ventrella using a genetic algorithm that searches for plane-filling curves. It is an example of a self-crossing curve, whereby the crossover-points increase exponentially with each advancement of the teragon (increase of fractal levels)...
Keywords: plane-filling fractal curve; mathematical art; recursive image; self-similar; ter-dragon
Downloads: 69
[texts]Cost averaging techniques for robust control of flexible structural systems - Hagood, Nesbitt W.
Viewgraphs on cost averaging techniques for robust control of flexible structural systems are presented. Topics covered include: modeling of parameterized systems; average cost analysis; reduction of parameterized systems; and static and dynamic controller synthesis.
Keywords: ECONOMIC ANALYSIS; ROBOTS; ECONOMICS; ECONOMY; POLICIES; THEOREM PROVING; TURING MACHINES; FORECASTING; HYPOTHESES; RECURSIVE FUNCTIONS
Downloads: 67
[texts]Support of the Third Solar Wind conference - Russell, C. T.
The program of invited talks at the Third Solar Wind Conference is provided, with a table of contents of the proceedings.
Keywords: BINARY MIXTURES; PROBABILITY DENSITY FUNCTIONS; RECURSIVE FUNCTIONS; ALGORITHMS; DISTRIBUTION (PROPERTY); STOCHASTIC PROCESSES
Downloads: 62
[texts]Degrees of unsolvability in the theory of programming languages (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 482) - Cudia, Dennis F
Bibliography: p. 120-123
Keywords: Recursive functions; Programming languages (Electronic computers); Formal languages; Unsolvability (Mathematical logic)
Downloads: 71
[texts]Indirect Model Reference Adaptive Control System Based on Dynamic Certainty Equivalence Principle and Recursive Identifier Scheme
The direct scheme of Model Reference Adaptive ControlSystem (MRACS) may have several disadvantages; (i) thecurrent state of the plant cannot be easily grasped fromvalues of adjustable adaptive controller parameters, (ii) ithas often inferior conditions to an indirect scheme, withrespect to the persistent excitation (PE) conditions ofadjustable controller parameters for convergence to optimalvalues...
Keywords: Model Reference Adaptive Control System; Indirect Scheme; Dynamic Certainty Equivalence Principle; Recursive Identifier
Downloads: 9
[texts]mit :: ai :: aim :: AIM-032
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-032
Keywords: scanning; evaluated; recursion; lisp; agent; evaluating; document; recursive; partions; jknownj; scanning agent
Downloads: 26
[texts]Way Point Tracking of a Container Ship by Adaptive Stochastic Sliding Mode Control and Recursive Filters
In this paper, way-point tracking control of a container ship based on LOS method using adaptive stochastic sliding mode controlhas beeninvestigated.Effective control of ships in a designed trajectory is always an important task for ship maneuvering. The design is based on a low and high frequency model of the vessel motion adequate to ship steering. The low frequency model describes the vessel response to rudder control and slowly varying environmental forces...
Keywords: Adaptive Stochastic Sliding Mode; Recursive Filters; Way-Point Tracking; LOS Guidance
Downloads: 15
[texts]mit :: lcs :: tm :: MIT-LCS-TM-531
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-531
Keywords: type; rule; lemma; types; definition; app; rank; ppp; typable; induction; recursive definitions; derived types; type inference; intersection type; type variables; type system; fresh type; type environments; type variable; typing recursive
Downloads: 23
[texts]BBC Research and Development Report Number 1975-03
R&D Report 1975-03 : Video digital filter Study I -- first order recursive form. J.O. Drewery This Report describes the theory and practice of using a particular kind of digital filter to process video signals. This filter behaves like a R-C integrator but its effect on the picture can be associated with various types of resolution, namely horizontal resolution, vertical resolution or even temporal...
Keywords: filter; vertical; output; input; response; frequency; filters; recursive; digital; characteristic; pole plot; extra bits; transfer function; response characteristic; recursive filter; digital filter; horizontal filter; vertical filter; pulse response; difference equation
Downloads: 23
[texts]BSTJ 62: 10. December 1983: Recursive Fixed-Order Covariance Least-Squares Algorithms. (Honig, M.L.)
Bell System Technical Journal, 62: 10. December 1983 pp 2961-2992. Recursive Fixed-Order Covariance Least-Squares Algorithms. (Honig, M.L.)
Keywords: algorithms; covariance; recursions; recursive; updates; prediction; vectors; algorithm; lattice; projection; inner products; data samples; time updates; recursive covariance; covariance algorithms; backward time; prediction coefficients; bell system; system technical; computationally efficient
Downloads: 44
[texts]Apple Tech Notes: PDOS 2523017 Recursive Catalog
Apple Tech Notes: PDOS 2523017 Recursive Catalog
Keywords: equ; prodos; ida; catalog; routine; jsr; sta; directory; recursive; rts; catalog routine; prodos catalog; catalog prodos; recursive prodos; jsr cout; technical notes; technical support; support november; routine developer; developer technical
Downloads: 19
[texts]BSTJ 49: 9. November 1970: Projecting Filters for Recursive Prediction of Discrete-Time Processes. (Gersho, Allen; Goodman, David J.)
Bell System Technical Journal, 49: 9. November 1970 pp 2377-2403. Projecting Filters for Recursive Prediction of Discrete-Time Processes. (Gersho, Allen; Goodman, David J.)
Keywords: filter; projecting; coefficients; predictor; filters; recursive; optimal; equation; prediction; process; filter coefficients; spectral density; projecting filters; recursive filter; projecting filter; linear combination; error process; bell system; system technical; prediction error
Downloads: 23
[texts]BSTJ 58: 2. February 1979: A New and Interesting Class of Limit Cycles in Recursive Digital Filters. (Lawrence, V.B.; Mina, K.V.)
Bell System Technical Journal, 58: 2. February 1979 pp 379-408. A New and Interesting Class of Limit Cycles in Recursive Digital Filters. (Lawrence, V.B.; Mina, K.V.)
Keywords: limit; cycles; peak; amplitude; filters; recursive; digital; cycle; existence; values; bell system; step size; limit cycles; peak amplitude; limit cycle; system technical; peak amp; recursive digital; digital filters; roundoff noise
Downloads: 48
[texts]mit :: lcs :: tm :: MIT-LCS-TM-016
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-016
Keywords: random; sequences; sequence; definition; theorem; recursive; sequential; infinite; set; function; sequential test; random sequences; place selection; recursively enumerable; characteristic function; recursive function; finite number; null set; infinite sequences; sequential tests
Downloads: 46 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-032
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-032
Keywords: recursive; functions; theorem; embedding; operator; partial; serviced; countable; complexity; classes; recursive functions; total effective; partial order; embedding theorem; countable partial; complexity classes; security classification; operator embedding; effective operator; dense chains
Downloads: 45 (1 review)
[texts]mit :: lcs :: tr :: MIT-LCS-TR-526
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-526
Keywords: object; concurrent; recursion; message; deadlock; port; recursive; thread; calls; method; recursive call; method activation; object depth; current port; recursion deadlock; mutual exclusion; binding map; split depth; port binding; concurrent calls
Downloads: 21
[texts]mit :: ai :: aim :: AIM-533
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-533
Keywords: dynamics; recursive; lagrangian; link; multiplications; manipulator; coordinate; formulation; computational; formulations; configuration space; artificial intelligence; recursive lagrangian; manipulator dynamics; lagrangian dynamics; generalized forces; real time; coordinate system; lagrangian formulation; space method
Downloads: 43
[texts]mit :: lcs :: tr :: MIT-LCS-TR-077
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-077
Keywords: proof; canonic; canon; system; recursive; canons; provable; theorem; axiom; systems; post system; inverse systems; canonic system; recursive sets; canonic systems; proof measure; algebraic system; measure functions; indicated context; recursively enumerable
Downloads: 34
[1] 2 3     Next    Last
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
image
audio